Fix PSE PAT handling in guest walk.
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 25 Nov 2008 11:17:57 +0000 (11:17 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 25 Nov 2008 11:17:57 +0000 (11:17 +0000)
commit712cd1b8c96721b5297acc16b079615c2940a69d
tree89563b3cefd1af9c6da6467395463f5da51ca107
parentba10bcb00ff0a66d19a7444e1a2dcd517d4738c3
Fix PSE PAT handling in guest walk.

Guest walk was currently checking for _PAGE_PSE_PAT flag in
guest_l2e_get_flags(). The problem is that this function only checks
for the first 12 bits of the PDE, while _PAGE_PSE_PAT is actually on bit
12 (that is the 13th bit). This caused _PAGE_PAT bit to never been set on
splintered L1s.

Signed-off-by: Gianluca Guida <gianluca.guida@eu.citrix.com>
xen/arch/x86/mm/guest_walk.c